退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:论直觉主义逻辑中命题量化的复杂性
Author(s) Philip Kremer;
机译:直觉命题逻辑及其片段的复杂性
机译:没有通用量词的二阶直觉命题逻辑
机译:高度与稀有度≤ω的树上定量命题直觉逻辑和S4的可判定性
机译:模糊命题逻辑和双面(直觉)模糊命题
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:量化命题直觉逻辑和s4在高度和高度树上的可判定性
机译:从命题逻辑论证满意公式的密码学方法
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。